package constraint;

import java.util.ArrayList;
import java.util.List;

import common.MCore;

import choco.Constraint;
import expression.MIntVar;

public class MTrue extends MConstraint {

	public MTrue(MCore c) {
		super(c);
	}

	public Constraint constraint() {
		return getCore().getProblem().TRUE;
	}

	public MConstraint eval() {
		return this;
	}

	public List<MIntVar> getVariables() {
		List<MIntVar> vars = new ArrayList<MIntVar>();
		return vars;
	}

	public String toText() {
		return "true";
	}

}
